Improving the Efficiency of Reasoning Through Structure-Based Reformulation
نویسندگان
چکیده
We investigate the possibility of improving the efficiency of reasoning through structure-based partitioning of logical theories, combined with partitionbased logical reasoning strategies. To this end, we provide algorithms for reasoning with partitions of axioms in first-order and propositional logic. We analyze the computational benefit of our algorithms and detect those parameters of a partitioning that influence the efficiency of computation. These parameters are the number of symbols shared by a pair of partitions, the size of each partition, and the topology of the partitioning. Finally, we provide a greedy algorithm that automatically reformulates a given theory into partitions, exploiting the parameters that influence the efficiency of computation.
منابع مشابه
Consciousness-Raising Through Written Corrective Feedback: The Case of Marked Third Person -s
This study examined and compared the effects of consciousness-raisingwritten corrective feedback in 2 newly-developed levels in terms of marked thirdperson -s acquisition. Nine elementary level intact classes, including 191 malelanguage learners within the age range of 11-14 at Iran Language Institute, weretaken as the participants. Relying on the participants’ placement test results,previous t...
متن کاملOptimization of RFM's Structure Using a New Reformulation of PSO in Case of Limited GCPs
Metaheuristic algorithms have been widely used in determining the optimum rational polynomial coefficients (RPCs). By eliminating a number of unnecessary RPCs, these algorithms increase the accuracy of geometric correction of high-resolution satellite images. To this end, these algorithms use ordinary least squares and a number of ground control points (GCPs) to determine RPCs' values. Due to t...
متن کاملImproving Agent Performance for Multi-Resource Negotiation Using Learning Automata and Case-Based Reasoning
In electronic commerce markets, agents often should acquire multiple resources to fulfil a high-level task. In order to attain such resources they need to compete with each other. In multi-agent environments, in which competition is involved, negotiation would be an interaction between agents in order to reach an agreement on resource allocation and to be coordinated with each other. In recent ...
متن کاملPedagogical Utility of Cooperative Writing Technique through Performance-oriented Classroom Structure
There is controversy on the conditions under which cooperative learning methods can improve academic achievement. Group-specific motivational aspects might contribute to the effectiveness of cooperative learning among which classroom goal structures were focused on. More specifically, the study aimed at investigating the efficiency of cooperative writing technique through performance versus mas...
متن کاملClinical reasoning assessment through medical expertise theories: past, present and future directions
Exploration into the concept of "medical expert" dates back to more than 50 years ago, yet yielding three leading theories in the area of clinical reasoning, namely, knowledge structure, hypothetic-deductive, and dual process. Each theory defines “medical expert” in a dissimilar way. Therefore, the methods of assessment through which the experts are identified have been changed during the tim...
متن کامل